Date: Tue, 14 Jan 1997 23:00:06 GMT
Server: NCSA/1.5.2
Last-modified: Tue, 07 May 1996 19:22:17 GMT
Content-type: text/html
Content-length: 2367

<BODY>
   <H1>CIS 730 </H1>
   <P>
   Principles of Artificial Intelligence<P>
   <p><!WA0><img align=middle src="http://www.cis.ksu.edu/~dimitris/gifs/bar.gif">
   <H2>Lecture Notes</H2>
   <UL> 
   <LI> Lecture 1: <!WA1><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l1.ps"> Introduction and Overview </A>
   <LI> Lecture 2: <!WA2><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l2.ps"> Symbolic Programming -- Lisp </A>
   <LI> Lecture 3: <!WA3><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l3.ps"> Lisp (cont'd) </A>
   <LI> Lecture 4: <!WA4><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l4.ps"> Lisp (cont'd) </A>
   <LI> Lecture 5: <!WA5><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l5.ps"> Lisp (cont'd) </A>
   <LI> Lecture 6: <!WA6><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l6.ps"> Propositional Logic </A>
   <LI> Lecture 7: <!WA7><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l7.ps"> Formal Systems for Propositional Logic </A>
   <LI> Lecture 8: <!WA8><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l8.ps"> Automated Theorem Proving in Propositional Logic, Predicate Calculus </A>
   <LI> Lecture 9: <!WA9><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l9.ps"> Automated Theorem Proving in Predicate Calculus </A>
   <LI> Lecture 10: <!WA10><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l10.ps"> Unification, Concept Description Languages, Semantic Nets</A>
   <LI> Lecture 11: <!WA11><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l11.ps"> Nonmonotonic Logic </A>
   <LI> Lecture 12: <!WA12><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l12.ps"> Deductive Retrieval Systems </A>
   <LI> Lecture 13: <!WA13><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l13.ps"> Search </A>
   <LI> Lecture 14: Midterm Exam </A>
   <LI> Lecture 15: <!WA14><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l15.ps"> Heuristic Search </A>
   <LI> Lecture 16: <!WA15><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l16.ps"> Genetic Algorithms, Minimax Search </A>
   <LI> Lecture 17: <!WA16><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l17.ps"> Alpha-Beta Pruning, Satisfiability as Search </A>
   <LI> Lecture 18: <!WA17><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l18.ps"> Learning </A>
   <LI> Lecture 19: <!WA18><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l19.ps"> Version Spaces, Decision Trees </A>
   <LI> Lecture 20: <!WA19><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l20.ps"> Learning in Neural Networks</A>
   <LI> Lecture 21: <!WA20><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l21.ps"> Perceptrons </A>
   <LI> Lecture 22: <!WA21><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l22.ps"> Reasoning about Change  </A>
   <LI> Lecture 23: <!WA22><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l23.ps"> Interval Temporal Logic </A>
   <LI> Lecture 24: <!WA23><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l24.ps"> Reasoning about Belief, Spatial Reasoning</A>
   <LI> Lecture 25: <!WA24><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l25.ps"> Planning</A>
   <LI> Lecture 26: <!WA25><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l26.ps"> Hierarchical and Adaptive Planning</A>
   <LI> Lecture 27: <!WA26><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l27.ps"> Planning under Uncertainty</A>
   <LI> Lecture 28: <!WA27><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l28.ps"> Image Understanding</A>
   <LI> Lecture 29: <!WA28><A HREF = "http://www.cis.ksu.edu/~dimitris/730/l29.ps"> Natural Language Processing </A>
   <p><!WA29><img align=middle src="http://www.cis.ksu.edu/~dimitris/gifs/bar.gif">
</BODY>

